<!DOCTYPE html>
<html lang="zh-CN">
<head>
  <meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1, maximum-scale=2">
<meta name="theme-color" content="#222">
<meta name="generator" content="Hexo 4.2.1">
  <link rel="apple-touch-icon" sizes="180x180" href="/images/apple-touch-icon-next.png">
  <link rel="icon" type="image/png" sizes="32x32" href="/images/dute_favicon_32x32.png">
  <link rel="icon" type="image/png" sizes="16x16" href="/images/dute_favicon_16x16.png">
  <link rel="mask-icon" href="/images/logo.svg" color="#222">
  <link rel="manifest" href="/images/manifest.json">
  <meta name="msapplication-config" content="/images/browserconfig.xml">
  <meta http-equiv="Cache-Control" content="no-transform">
  <meta http-equiv="Cache-Control" content="no-siteapp">
  <meta name="google-site-verification" content="mpI5dkydstZXl6UcDCppqktXK0bbvqdZ6LkZ3KNk4Iw">
  <meta name="baidu-site-verification" content="code-a1LksZX2Ds">

<link rel="stylesheet" href="/css/main.css">


<link rel="stylesheet" href="/lib/font-awesome/css/font-awesome.min.css">
  <link rel="stylesheet" href="//cdn.jsdelivr.net/gh/fancyapps/fancybox@3/dist/jquery.fancybox.min.css">

<script id="hexo-configurations">
    var NexT = window.NexT || {};
    var CONFIG = {"hostname":"whitestore.top","root":"/","scheme":"Gemini","version":"7.8.0","exturl":true,"sidebar":{"position":"left","display":"post","padding":18,"offset":12,"onmobile":false},"copycode":{"enable":true,"show_result":false,"style":null},"back2top":{"enable":true,"sidebar":true,"scrollpercent":true},"bookmark":{"enable":false,"color":"#222","save":"auto"},"fancybox":true,"mediumzoom":false,"lazyload":false,"pangu":false,"comments":{"style":"tabs","active":null,"storage":true,"lazyload":false,"nav":null},"algolia":{"hits":{"per_page":10},"labels":{"input_placeholder":"Search for Posts","hits_empty":"We didn't find any results for the search: ${query}","hits_stats":"${hits} results found in ${time} ms"}},"localsearch":{"enable":true,"trigger":"auto","top_n_per_article":1,"unescape":false,"preload":false},"motion":{"enable":true,"async":false,"transition":{"post_block":"fadeIn","post_header":"slideDownIn","post_body":"slideDownIn","coll_header":"slideLeftIn","sidebar":"slideUpIn"}},"path":"search.xml"};
  </script>

  <meta name="description" content="jvm收集器算法细节处理">
<meta property="og:type" content="article">
<meta property="og:title" content="深入理解JVM - Hotspot算法细节">
<meta property="og:url" content="https://whitestore.top/2022/02/20/hotpots/index.html">
<meta property="og:site_name" content="爱看书的阿东">
<meta property="og:description" content="jvm收集器算法细节处理">
<meta property="og:locale" content="zh_CN">
<meta property="og:image" content="https://gitee.com/lazyTimes/imageReposity/raw/master/img/20210809213943.png">
<meta property="article:published_time" content="2022-02-20T14:45:30.000Z">
<meta property="article:modified_time" content="2023-07-16T06:28:09.268Z">
<meta property="article:author" content="阿东">
<meta property="article:tag" content="hotspot">
<meta name="twitter:card" content="summary">
<meta name="twitter:image" content="https://gitee.com/lazyTimes/imageReposity/raw/master/img/20210809213943.png">

<link rel="canonical" href="https://whitestore.top/2022/02/20/hotpots/">


<script id="page-configurations">
  // https://hexo.io/docs/variables.html
  CONFIG.page = {
    sidebar: "",
    isHome : false,
    isPost : true,
    lang   : 'zh-CN'
  };
</script>

  <title>深入理解JVM - Hotspot算法细节 | 爱看书的阿东</title>
  






  <noscript>
  <style>
  .use-motion .brand,
  .use-motion .menu-item,
  .sidebar-inner,
  .use-motion .post-block,
  .use-motion .pagination,
  .use-motion .comments,
  .use-motion .post-header,
  .use-motion .post-body,
  .use-motion .collection-header { opacity: initial; }

  .use-motion .site-title,
  .use-motion .site-subtitle {
    opacity: initial;
    top: initial;
  }

  .use-motion .logo-line-before i { left: initial; }
  .use-motion .logo-line-after i { right: initial; }
  </style>
</noscript>

<link rel="alternate" href="/atom.xml" title="爱看书的阿东" type="application/atom+xml">
</head>

<body itemscope itemtype="http://schema.org/WebPage">
  <div class="container use-motion">
    <div class="headband"></div>

    <header class="header" itemscope itemtype="http://schema.org/WPHeader">
      <div class="header-inner"><div class="site-brand-container">
  <div class="site-nav-toggle">
    <div class="toggle" aria-label="切换导航栏">
      <span class="toggle-line toggle-line-first"></span>
      <span class="toggle-line toggle-line-middle"></span>
      <span class="toggle-line toggle-line-last"></span>
    </div>
  </div>

  <div class="site-meta">

    <a href="/" class="brand" rel="start">
      <span class="logo-line-before"><i></i></span>
      <h1 class="site-title">爱看书的阿东</h1>
      <span class="logo-line-after"><i></i></span>
    </a>
      <p class="site-subtitle" itemprop="description">赐他一块白色石头，石头上写着新名</p>
  </div>

  <div class="site-nav-right">
    <div class="toggle popup-trigger">
        <i class="fa fa-search fa-fw fa-lg"></i>
    </div>
  </div>
</div>




<nav class="site-nav">
  <ul id="menu" class="menu">
        <li class="menu-item menu-item-home">

    <a href="/" rel="section"><i class="fa fa-fw fa-home"></i>首页</a>

  </li>
        <li class="menu-item menu-item-tags">

    <a href="/tags/" rel="section"><i class="fa fa-fw fa-tags"></i>标签</a>

  </li>
        <li class="menu-item menu-item-categories">

    <a href="/categories/" rel="section"><i class="fa fa-fw fa-th"></i>分类</a>

  </li>
        <li class="menu-item menu-item-archives">

    <a href="/archives/" rel="section"><i class="fa fa-fw fa-archive"></i>归档</a>

  </li>
        <li class="menu-item menu-item-sitemap">

    <a href="/sitemap.xml" rel="section"><i class="fa fa-fw fa-sitemap"></i>站点地图</a>

  </li>
      <li class="menu-item menu-item-search">
        <a role="button" class="popup-trigger"><i class="fa fa-search fa-fw"></i>搜索
        </a>
      </li>
  </ul>
</nav>



  <div class="search-pop-overlay">
    <div class="popup search-popup">
        <div class="search-header">
  <span class="search-icon">
    <i class="fa fa-search"></i>
  </span>
  <div class="search-input-container">
    <input autocomplete="off" autocapitalize="off"
           placeholder="搜索..." spellcheck="false"
           type="search" class="search-input">
  </div>
  <span class="popup-btn-close">
    <i class="fa fa-times-circle"></i>
  </span>
</div>
<div id="search-result">
  <div id="no-result">
    <i class="fa fa-spinner fa-pulse fa-5x fa-fw"></i>
  </div>
</div>

    </div>
  </div>

</div>
    </header>

    

  <span class="exturl github-corner" data-url="aHR0cHM6Ly9naXRodWIuY29tL2xhenlUaW1lcw==" title="Follow me on GitHub" aria-label="Follow me on GitHub"><svg width="80" height="80" viewBox="0 0 250 250" aria-hidden="true"><path d="M0,0 L115,115 L130,115 L142,142 L250,250 L250,0 Z"></path><path d="M128.3,109.0 C113.8,99.7 119.0,89.6 119.0,89.6 C122.0,82.7 120.5,78.6 120.5,78.6 C119.2,72.0 123.4,76.3 123.4,76.3 C127.3,80.9 125.5,87.3 125.5,87.3 C122.9,97.6 130.6,101.9 134.4,103.2" fill="currentColor" style="transform-origin: 130px 106px;" class="octo-arm"></path><path d="M115.0,115.0 C114.9,115.1 118.7,116.5 119.8,115.4 L133.7,101.6 C136.9,99.2 139.9,98.4 142.2,98.6 C133.8,88.0 127.5,74.4 143.8,58.0 C148.5,53.4 154.0,51.2 159.7,51.0 C160.3,49.4 163.2,43.6 171.4,40.1 C171.4,40.1 176.1,42.5 178.8,56.2 C183.1,58.6 187.2,61.8 190.9,65.4 C194.5,69.0 197.7,73.2 200.1,77.6 C213.8,80.2 216.3,84.9 216.3,84.9 C212.7,93.1 206.9,96.0 205.4,96.6 C205.1,102.4 203.0,107.8 198.3,112.5 C181.9,128.9 168.3,122.5 157.7,114.1 C157.9,116.9 156.7,120.9 152.7,124.9 L141.0,136.5 C139.8,137.7 141.6,141.9 141.8,141.8 Z" fill="currentColor" class="octo-body"></path></svg></span>


    <main class="main">
      <div class="main-inner">
        <div class="content-wrap">
          

          <div class="content post posts-expand">
            

    
  
  
  <article itemscope itemtype="http://schema.org/Article" class="post-block" lang="zh-CN">
    <link itemprop="mainEntityOfPage" href="https://whitestore.top/2022/02/20/hotpots/">

    <span hidden itemprop="author" itemscope itemtype="http://schema.org/Person">
      <meta itemprop="image" content="/images/avatar.gif">
      <meta itemprop="name" content="阿东">
      <meta itemprop="description" content="随遇而安">
    </span>

    <span hidden itemprop="publisher" itemscope itemtype="http://schema.org/Organization">
      <meta itemprop="name" content="爱看书的阿东">
    </span>
      <header class="post-header">
        <h1 class="post-title" itemprop="name headline">
          深入理解JVM - Hotspot算法细节
        </h1>

        <div class="post-meta">
            <span class="post-meta-item">
              <span class="post-meta-item-icon">
                <i class="fa fa-calendar-o"></i>
              </span>
              <span class="post-meta-item-text">发表于</span>

              <time title="创建时间：2022-02-20 22:45:30" itemprop="dateCreated datePublished" datetime="2022-02-20T22:45:30+08:00">2022-02-20</time>
            </span>
              <span class="post-meta-item">
                <span class="post-meta-item-icon">
                  <i class="fa fa-calendar-check-o"></i>
                </span>
                <span class="post-meta-item-text">更新于</span>
                <time title="修改时间：2023-07-16 14:28:09" itemprop="dateModified" datetime="2023-07-16T14:28:09+08:00">2023-07-16</time>
              </span>
            <span class="post-meta-item">
              <span class="post-meta-item-icon">
                <i class="fa fa-folder-o"></i>
              </span>
              <span class="post-meta-item-text">分类于</span>
                <span itemprop="about" itemscope itemtype="http://schema.org/Thing">
                  <a href="/categories/JVM/" itemprop="url" rel="index"><span itemprop="name">JVM</span></a>
                </span>
            </span>

          
            <span class="post-meta-item" title="阅读次数" id="busuanzi_container_page_pv" style="display: none;">
              <span class="post-meta-item-icon">
                <i class="fa fa-eye"></i>
              </span>
              <span class="post-meta-item-text">阅读次数：</span>
              <span id="busuanzi_value_page_pv"></span>
            </span>
  
  <span class="post-meta-item">
    
      <span class="post-meta-item-icon">
        <i class="fa fa-comment-o"></i>
      </span>
      <span class="post-meta-item-text">Valine：</span>
    
    <a title="valine" href="/2022/02/20/hotpots/#valine-comments" itemprop="discussionUrl">
      <span class="post-comments-count valine-comment-count" data-xid="/2022/02/20/hotpots/" itemprop="commentCount"></span>
    </a>
  </span>
  
  <br>
            <span class="post-meta-item" title="本文字数">
              <span class="post-meta-item-icon">
                <i class="fa fa-file-word-o"></i>
              </span>
                <span class="post-meta-item-text">本文字数：</span>
              <span>4.7k</span>
            </span>
            <span class="post-meta-item" title="阅读时长">
              <span class="post-meta-item-icon">
                <i class="fa fa-clock-o"></i>
              </span>
                <span class="post-meta-item-text">阅读时长 &asymp;</span>
              <span>4 分钟</span>
            </span>
            <div class="post-description">jvm收集器算法细节处理</div>

        </div>
      </header>

    
    
    
    <div class="post-body" itemprop="articleBody">

      
        <h1 id="深入理解JVM-Hotspot算法细节"><a href="#深入理解JVM-Hotspot算法细节" class="headerlink" title="深入理解JVM - Hotspot算法细节"></a>深入理解JVM - Hotspot算法细节</h1><p>[TOC]</p>
<h1 id="前言"><a href="#前言" class="headerlink" title="前言"></a>前言</h1><p>​    这一节来专门讨论一下HotSpot的算法的细节内容，内容说难也不难，说容易也确实不容易，有很多要理解的内容，个人在做这次文章的时候对于hotpspot有了更深的理解。</p>
<h1 id="思维导图"><a href="#思维导图" class="headerlink" title="思维导图"></a>思维导图</h1><p>​    如果懒得看文字，这里整理了一份思维导图帮助理解：</p>
<p>地址：<span class="exturl" data-url="aHR0cHM6Ly93d3cubXVidWNtLmNvbS9kb2MvMXFUSDc3WFNMTkI=" title="https://www.mubucm.com/doc/1qTH77XSLNB">https://www.mubucm.com/doc/1qTH77XSLNB<i class="fa fa-external-link"></i></span></p>
<p><img src="https://gitee.com/lazyTimes/imageReposity/raw/master/img/20210809213943.png" alt=""></p>
<h1 id="概述"><a href="#概述" class="headerlink" title="概述"></a>概述</h1><ol>
<li>可达性算法的大致内容和简述，以及JAVA固定GC ROOT的判定条件</li>
<li>根节点枚举的实现细节，讲述什么事安全点和安全区域，以及他们的实际作用</li>
<li>记忆集和卡集，一个是抽象一个是具体实现，在内部通过写屏障来维持引用关系的改动，介绍关于伪共享问题的解决方案</li>
<li>并发可达性分析当中的三色标记是一个高频“考点”，以及Hotspot是如何应对对象消失问题的。</li>
</ol>
<a id="more"></a>

<h1 id="可达性算法"><a href="#可达性算法" class="headerlink" title="可达性算法"></a>可达性算法</h1><p>​    在介绍具体的内容之前，这里先补充一下基础内容：什么是可达性算法呢？简单来讲本质就是<strong>判断对象是否已死</strong>？一般实现的方式有下面这几种：</p>
<h2 id="引用计数法"><a href="#引用计数法" class="headerlink" title="引用计数法"></a>引用计数法</h2><p>​    实现的方式和原理十分简单，同样也十分的高效，就是当为每一个对象绑定一个引用计数器，当对象存活，则引用计数器+1，引用失效，则计数器-1，虽然这个计数器要消耗一定的空间，但是确实是效率十分高的方式。当然他的缺点也十分明显，如果存在 <strong>循环引用</strong>，会导致对象永远不能判定为死亡。</p>
<blockquote>
<p>循环引用：A引用B，B引用C，C引用D，D引用A</p>
</blockquote>
<h2 id="JAVA固定作为GC-Root的判定条件"><a href="#JAVA固定作为GC-Root的判定条件" class="headerlink" title="JAVA固定作为GC Root的判定条件"></a>JAVA固定作为GC Root的判定条件</h2><p>​    这里单纯作为笔记进行记录：</p>
<ul>
<li><p>虚拟机栈引用的对象</p>
</li>
<li><p>方法区的<strong>静态属性引用对象</strong>，也就是<code>static</code>对象属性</p>
</li>
<li><p>方法区的常量引用，比如<code>final</code>引用的静态常量</p>
</li>
<li><p>本地方法栈的JNI，即Native方法引用对象</p>
</li>
<li><p>虚拟机内部的，基本类型对应的Class对象，常驻异常对象Null…等</p>
</li>
<li><p><strong>同步锁（Syncronized）持有对象</strong></p>
</li>
</ul>
<h1 id="根节点枚举"><a href="#根节点枚举" class="headerlink" title="根节点枚举"></a>根节点枚举</h1><h2 id="介绍"><a href="#介绍" class="headerlink" title="介绍"></a>介绍</h2><p>​    在可达性算法当中是通过GC ROOT的引用找到存活对象的方式，在现代的收集器基本可以做到和用户线程一起并发执行的程度，但是根节点枚举要保证某个时间点的“快照”，这也意味着根节点枚举需要<strong>暂停用户线程</strong>。</p>
<h2 id="OopMap数据结构"><a href="#OopMap数据结构" class="headerlink" title="OopMap数据结构"></a>OopMap数据结构</h2><p>​    在HotSpot中使用的是<strong>OopMap</strong>的结构，用于存储对象的类型，或者存储特定位置记录栈里面的寄存器哪些位置是引用，垃圾收集器扫描的时候就可以直接从对应的位置开始，不需要大范围的扫描动作。</p>
<h3 id="这种结构会存在哪些问题？"><a href="#这种结构会存在哪些问题？" class="headerlink" title="这种结构会存在哪些问题？"></a>这种结构会存在哪些问题？</h3><p>​    这里可以看到，如果每一次对象的读取变化，都需要往OopMap里面存储内容，会导致OopMap的内容不断臃肿扩大，垃圾收集器的扫描成本会变得非常的昂贵。</p>
<p>​    为了应对这一类问题，HotSpot引入了“安全点这一机制进行处理”</p>
<h2 id="安全点"><a href="#安全点" class="headerlink" title="安全点"></a>安全点</h2><p>​    OopMap不会在任意的位置都收集相关的指令，而是使用一个安全点的东西，这个安全点用通俗的话理解就是高速上的“收费点”，而设置安全点的条件是：<strong>是否具备程序长时间运行特征</strong>。</p>
<h3 id="安全点有什么用？"><a href="#安全点有什么用？" class="headerlink" title="安全点有什么用？"></a>安全点有什么用？</h3><p>​    毫无疑问，安全点是为了减轻OopMap存储结构的压力，同时保证垃圾回收的时候不需要扫描过多的GC ROOT。</p>
<blockquote>
<p>缺点：这也决定了JVM虚拟机不能在任意的位置进行垃圾收集，而是要进入预先设定的“收费站”进行垃圾回收</p>
</blockquote>
<h3 id="如何触发安全点"><a href="#如何触发安全点" class="headerlink" title="如何触发安全点?"></a>如何触发安全点?</h3><p>​    实现方式有两种：<strong>抢断式中断</strong>和主动式中断</p>
<p>​    需要注意的是现代已经没有虚拟机使用“抢先式中断”暂停线程来响应GC事件，也就意味着垃圾收集的行为都是<strong>虚拟机主动执行</strong>的，而不是通过争抢的方式处理。</p>
<p>​    安全点采用主动式中断，当垃圾收集器需要中断线程，会预先设置标志，并且各个线程会轮询标志位，一旦到达安全点附近就中断挂起（有点像检查站通知检查）为了保证运行的高效性，JVM将使用 <strong>内存保护陷阱</strong>的方式进行自陷中断，并且这条汇编指令精简为一条，可以大大提高轮询的效率。当线程收到自陷信号，就自然会触发线程中断了。</p>
<p>​    但是这里是存在问题的，如果线程本身存在阻塞等待，或者睡眠的情况下，安全点不可能一直等待线程中断，所以这里又引入了安全区域的概念</p>
<h2 id="安全区域"><a href="#安全区域" class="headerlink" title="安全区域"></a>安全区域</h2><p>​    安全区域的主要作用是确保安全点一段的时间内，引用的关系不发生改变，为了完成判断，他做了下面的事情：</p>
<ul>
<li>判断当前线程是否进入了安全区域，如果进入了进行下面的判断<ul>
<li>如果没有完成根节点枚举，则需要等待完成根节点枚举才能放行</li>
<li>如果已经完成根节点枚举，则会直接放行线程。</li>
</ul>
</li>
</ul>
<blockquote>
<p>这里你可以想象在高速上等待出站，在这个区间内你要完成节点的根枚举操作才准许放行</p>
</blockquote>
<h1 id="记忆集与卡表"><a href="#记忆集与卡表" class="headerlink" title="记忆集与卡表"></a>记忆集与卡表</h1><p>​    在了解这两个名词之前，我们需要记住 他们的目的是<strong>解决对象跨代引用的问题</strong>，在传统的分代系统中，存在老年代引用新生代之间的相互引用，那么JVM是如何判断哪些对象引用是失效，哪些对象引用需要存活保留呢？</p>
<p>​    </p>
<h2 id="记忆集-RememberedSet"><a href="#记忆集-RememberedSet" class="headerlink" title="记忆集(RememberedSet)"></a>记忆集(RememberedSet)</h2><p>​    首先来看下<strong>记忆集（RememberedSet）</strong>是什么东西，在源代码的结构中他被声明为一个<code>Object[]</code>的数组结构，可以看到维护这种结构的代价是十分高昂的，所以为了节省记忆集的维护成本，存在如下的解决方案：</p>
<ul>
<li>字长精度：精确到机器字长（处理器的寻址位数）</li>
<li>对象精度：顾名思义，精确到一个对象</li>
<li>卡精度：精确到一块内存区域，实现最简单的方式是一个字节数组</li>
</ul>
<h3 id="卡表"><a href="#卡表" class="headerlink" title="卡表"></a>卡表</h3><p>​    注意卡表是记忆集的一种实现方式，切忌和记忆集混为一谈，他们的关系和方法区以及永久代或者元空间的关系类似，是一种 <strong>抽象与实现</strong>的关系。</p>
<p>​    既然卡精度是针对一块内存区域，而JVM刚好又是采用了固定分代来完成垃圾回收的，所以毫无疑问使用的是卡精度来实现。</p>
<p>​    HotSpot使用的卡精度实现恰好也是使用一个字节数组来完成，卡页是2个N次幂数，最终使用的是2的9次方也就是<strong>512长度</strong>的字节数组来构建一个卡表。</p>
<p><strong>如何操作</strong>？</p>
<p>​    HotSpot检测到对象存在跨代指针的时候，就会把数组的标志为1，没有就会标志位0，这个过程称为<strong>“变脏”</strong>，如果垃圾收集器开启并且扫描到当前的元素变脏，聚会放入到GC ROOT当中进行扫描。</p>
<p>​    </p>
<h2 id="写屏障"><a href="#写屏障" class="headerlink" title="写屏障"></a>写屏障</h2><blockquote>
<p>后续的内容，请在心里记住如下的问题：</p>
<ol>
<li>卡表如何维护？</li>
<li>写屏障的伪共享问题</li>
<li>谁来让元素变脏</li>
<li>什么是写屏障</li>
<li>如何维护整个卡表</li>
</ol>
</blockquote>
<p><strong>定义</strong>：</p>
<p>​    我们知道了卡表如何定义，并且如何进行判断的，但是我们还不清楚卡表是如何进行维护的，那么什么是写屏障呢？写屏障可以认为是虚拟机层面<strong>对于“引用字段类型”的AOP的切面</strong>，写屏障还分为<strong>写前屏障</strong>和<strong>写后屏障</strong>。这里后续在进行讨论。</p>
<p><strong>作用</strong>：</p>
<p>​    写屏障的作用是：<strong>维护卡表以及让卡表变脏</strong>，并且把维护卡表的操作放置到每一次赋值操作当中。</p>
<p>​    那么他是如何做到的呢，我们上一小节讲了HotSpot通过卡表变脏实现跨代引用和GC ROOT的判断。那么写屏障的作用就是在赋值的操作之前完成卡表的维护。</p>
<p><strong>总结：</strong></p>
<ol>
<li>卡表如何维护？使用写屏障进行维护</li>
<li>谁来让元素变脏？在写屏障中通过AOP的切面在赋值操作中通过指令完成</li>
<li>什么是写屏障？赋值操作的AOP切面</li>
<li>如何维护整个卡表？OopMap和写屏障</li>
</ol>
<blockquote>
<p>这里肯定会有疑问，在赋值操作之前加入写屏障会不会有性能问题？</p>
<p>​    JVM设计团队是肯定考虑过这个问题的，最终的结果是虽然要消耗一定的赋值操作效率和性能，但是和频繁的Minor GC相比代价还是要小很多的。</p>
</blockquote>
<h3 id="写前和写后屏障是什么？"><a href="#写前和写后屏障是什么？" class="headerlink" title="写前和写后屏障是什么？"></a>写前和写后屏障是什么？</h3><p>​    其实就是在赋值操作的AOP切面的前面或者后面操作，也就是通常AOP环绕前面的前置操作和后置操作，伪代码如下：</p>
<figure class="highlight java"><table><tr><td class="gutter"><pre><span class="line">1</span><br><span class="line">2</span><br><span class="line">3</span><br></pre></td><td class="code"><pre><span class="line">doSomethingFront(); <span class="comment">//写前屏障</span></span><br><span class="line">proxy.proxy();</span><br><span class="line">doSomethingAfter(); <span class="comment">//写后屏障</span></span><br></pre></td></tr></table></figure>

<p>​    另外再提一点，<strong>CMS使用了写后屏障</strong>，而<strong>G1既使用了写前屏障，又使用了写后屏障</strong>。</p>
<h3 id="伪共享问题"><a href="#伪共享问题" class="headerlink" title="伪共享问题"></a>伪共享问题</h3><p>​    什么是伪共享？在处理底层并发的时候需要考虑的问题，由于现代处理器因为缓存等问题，指令其实是打乱之后执行的，如果多个变量共享一个缓存行，他们就会彼此之间发生影响。</p>
<p><strong>解决办法</strong>：</p>
<p>​    解决办法比较简单的一种是 <strong>检查卡表标记，只有卡表元素检查之后才会让元素发生变脏</strong>，当然这样又会损失一定的性能，但是是可以接受的。针对这一点JDK7增加了一个：<code>+UseCondCardMark</code>参数来控制表更新元素的条件。</p>
<h1 id="并发可达性分析："><a href="#并发可达性分析：" class="headerlink" title="并发可达性分析："></a>并发可达性分析：</h1><p>​    通过上面的分析，我们了解了JVM是如何实现对象之间的引用存放，以及如何实现GC ROOT以及如何让线程等待垃圾收集等一系列问题，下面我们来看下更细节的部分，我们都知道对象的引用不是一成不变的，比如在GC ROOT之前对象引用突然失效，垃圾对象突然变为存活对象….这些情况都是有可能的，那么面对复杂多变的 引用关系变化HotSpot是如何解决这个复杂的问题的呢？</p>
<p>​    要解决这个问题的关键<strong>如何保证“一致性快照”</strong>，针对这一点，HotSpot虚拟机使用了“三色标记”这一个重要的概念。</p>
<h2 id="三色标记"><a href="#三色标记" class="headerlink" title="三色标记"></a>三色标记</h2><p>​    为了维护一个对象的访问状态，在遍历对象过程中，Hotspot会将对象标记为下面的三种状态：</p>
<ul>
<li>白色：表示尚未被垃圾收集器访问过</li>
<li>黑色：表示对象已经被垃圾收集器访问过，并且 <strong>所有的引用都扫描过</strong>，意味着他不可能直接指向某个白色对象</li>
<li>灰色（重点）：表示已经被垃圾收集器访问过，至少有一个引用没有被扫描完。</li>
</ul>
<h2 id="“对象消失”的成立条件"><a href="#“对象消失”的成立条件" class="headerlink" title="“对象消失”的成立条件"></a>“对象消失”的成立条件</h2><p>​    在书本165页左右（个人看的是PDF）有一张示意图，这里简要说明一下“对象消失”的问题：</p>
<ul>
<li>垃圾变为存活对象：被切断的引用灰色对象即将变为白色对象经过并发线程修改和黑色对象产生引用。</li>
<li>存活对象变垃圾：被标记为白色的对象突然与扫描过的黑色对象产生引用。</li>
</ul>
<p>​    这里有个不能容忍的问题是原本存活的对象被标记为死亡。会直接导致系统出现委托，这是不能容忍的。</p>
<p>​    有大神总结了会出现对象消失问题的两个条件，只要排除<strong>任意一个</strong>就可以防止对象消失的问题：</p>
<ol>
<li><strong>赋值插入一条或者多条从黑色对象到白色对象的新引用</strong></li>
<li><strong>赋值删除了全部从灰色对象到白色对象的直接或者间接引用。</strong></li>
</ol>
<h2 id="增量更新和原始快照"><a href="#增量更新和原始快照" class="headerlink" title="增量更新和原始快照"></a>增量更新和原始快照</h2><p>​    解决上面的问题，JVM有两种方式，分别是“增量更新”和“原始快照”，增量更新是排除第一个条件，原始快照排除第二个条件。</p>
<p>​    <strong>增量更新</strong>：记录下黑色引用插入到白色对象的引用关系，并发标记结束之后以记录过的引用对象为根<strong>重新扫描</strong>。CMS的“重新标记”阶段的底层就是在做这个事情。</p>
<p>​    <strong>原始快照</strong>：原始快照指的是灰色对象删除白色引用的时候，把要删除的引用记录下来，并发扫描之后，再根据记录过引用关系的灰色对象为根进行扫描。G1和Shenandoah 收集器就是使用这种方式实现的。</p>
<p>​    这里的简化理解就是，<strong>增量更新是尝试将白色对象变为灰色对象，而原始快照则是让灰色对象真的变回白色对象</strong></p>
<p>​    </p>
<h1 id="总结："><a href="#总结：" class="headerlink" title="总结："></a>总结：</h1><p>​    HotSpot的细节包括三个难点，一个是根节点枚举，我们讲述了底层结构OopMap，可以看到他本质就是一个数组，之后我们讲到了安全点的设计类似收费站检查的方式提高根节点枚举的效率，接着我们讲述了安全区域，好比收费出站，对于没有进行过根节点枚举的就会阻塞等待进行处理，这些设计的根本目的是<strong>保证垃圾收集器停顿用户线程的时候拥有一份不会改变引用的快照</strong>。</p>
<p>​    接着我们讲述了抽象的记忆集以及Hotspot的实现卡表这一结构，卡表的作用是保存对象的引用关系以及跨代引用等，而修改和维护的工作则是由写屏障完成，写屏障的任务是在赋值操作的前后对于卡表里面的对应引用进行调整，保证对象可以正确归类为垃圾对象和存活对象。</p>
<p>​    最后，我们讲述了并发修改的时候，Hotspot如何保证快照的正确性以及防止用户线程并发修改”篡改”对象的状态，首先是使用三色标记，将对象标记为垃圾对象，未扫描完成的对象，和已扫描完成的对象，同时为了对抗对象消失的问题，提出了“原始快照”和“增量更新”的解决方案。</p>
<p>​    </p>
<h1 id="写在最后"><a href="#写在最后" class="headerlink" title="写在最后"></a>写在最后</h1><p>​    写稿不易，求赞，求收藏。本文有大量的文字说明，建议收藏慢慢看。</p>
<p>​    最后推荐一下个人的微信公众号：<strong>“懒时小窝</strong>”。有什么问题可以通过公众号私信和我交流，当然评论的问题看到的也会第一时间解答。</p>
<script type="text/javascript" src="https://cdn.jsdelivr.net/npm/kity@2.0.4/dist/kity.min.js"></script><script type="text/javascript" src="https://cdn.jsdelivr.net/npm/kityminder-core@1.4.50/dist/kityminder.core.min.js"></script><script defer="true" type="text/javascript" src="https://cdn.jsdelivr.net/npm/hexo-simple-mindmap@0.2.0/dist/mindmap.min.js"></script><link rel="stylesheet" type="text/css" href="https://cdn.jsdelivr.net/npm/hexo-simple-mindmap@0.2.0/dist/mindmap.min.css">
    </div>

    
    
    
        

<div>
<ul class="post-copyright">
  <li class="post-copyright-author">
    <strong>本文作者： </strong>阿东
  </li>
  <li class="post-copyright-link">
    <strong>本文链接：</strong>
    <a href="https://whitestore.top/2022/02/20/hotpots/" title="深入理解JVM - Hotspot算法细节">https://whitestore.top/2022/02/20/hotpots/</a>
  </li>
  <li class="post-copyright-license">
    <strong>版权声明： </strong>本博客所有文章除特别声明外，均采用 <span class="exturl" data-url="aHR0cHM6Ly9jcmVhdGl2ZWNvbW1vbnMub3JnL2xpY2Vuc2VzL2J5LW5jLzQuMC96aC1DTg=="><i class="fa fa-fw fa-creative-commons"></i>BY-NC</span> 许可协议。转载请注明出处！
  </li>
</ul>
</div>


      <footer class="post-footer">
          <div class="post-tags">
              <a href="/tags/JVM/" rel="tag"># JVM</a>
          </div>

        


        
    <div class="post-nav">
      <div class="post-nav-item">
    <a href="/2022/02/20/bianyijvm/" rel="prev" title="深入理解jvm - 编译优化（上）">
      <i class="fa fa-chevron-left"></i> 深入理解jvm - 编译优化（上）
    </a></div>
      <div class="post-nav-item">
    <a href="/2022/02/20/howtomcat/" rel="next" title="《HowTomcatWork》笔记总结（一）">
      《HowTomcatWork》笔记总结（一） <i class="fa fa-chevron-right"></i>
    </a></div>
    </div>
      </footer>
    
  </article>
  
  
  



          </div>
          
    <div class="comments" id="valine-comments"></div>

<script>
  window.addEventListener('tabs:register', () => {
    let { activeClass } = CONFIG.comments;
    if (CONFIG.comments.storage) {
      activeClass = localStorage.getItem('comments_active') || activeClass;
    }
    if (activeClass) {
      let activeTab = document.querySelector(`a[href="#comment-${activeClass}"]`);
      if (activeTab) {
        activeTab.click();
      }
    }
  });
  if (CONFIG.comments.storage) {
    window.addEventListener('tabs:click', event => {
      if (!event.target.matches('.tabs-comment .tab-content .tab-pane')) return;
      let commentClass = event.target.classList[1];
      localStorage.setItem('comments_active', commentClass);
    });
  }
</script>

        </div>
          
  
  <div class="toggle sidebar-toggle">
    <span class="toggle-line toggle-line-first"></span>
    <span class="toggle-line toggle-line-middle"></span>
    <span class="toggle-line toggle-line-last"></span>
  </div>

  <aside class="sidebar">
    <div class="sidebar-inner">

      <ul class="sidebar-nav motion-element">
        <li class="sidebar-nav-toc">
          文章目录
        </li>
        <li class="sidebar-nav-overview">
          站点概览
        </li>
      </ul>

      <!--noindex-->
      <div class="post-toc-wrap sidebar-panel">
          <div class="post-toc motion-element"><ol class="nav"><li class="nav-item nav-level-1"><a class="nav-link" href="#深入理解JVM-Hotspot算法细节"><span class="nav-number">1.</span> <span class="nav-text">深入理解JVM - Hotspot算法细节</span></a></li><li class="nav-item nav-level-1"><a class="nav-link" href="#前言"><span class="nav-number">2.</span> <span class="nav-text">前言</span></a></li><li class="nav-item nav-level-1"><a class="nav-link" href="#思维导图"><span class="nav-number">3.</span> <span class="nav-text">思维导图</span></a></li><li class="nav-item nav-level-1"><a class="nav-link" href="#概述"><span class="nav-number">4.</span> <span class="nav-text">概述</span></a></li><li class="nav-item nav-level-1"><a class="nav-link" href="#可达性算法"><span class="nav-number">5.</span> <span class="nav-text">可达性算法</span></a><ol class="nav-child"><li class="nav-item nav-level-2"><a class="nav-link" href="#引用计数法"><span class="nav-number">5.1.</span> <span class="nav-text">引用计数法</span></a></li><li class="nav-item nav-level-2"><a class="nav-link" href="#JAVA固定作为GC-Root的判定条件"><span class="nav-number">5.2.</span> <span class="nav-text">JAVA固定作为GC Root的判定条件</span></a></li></ol></li><li class="nav-item nav-level-1"><a class="nav-link" href="#根节点枚举"><span class="nav-number">6.</span> <span class="nav-text">根节点枚举</span></a><ol class="nav-child"><li class="nav-item nav-level-2"><a class="nav-link" href="#介绍"><span class="nav-number">6.1.</span> <span class="nav-text">介绍</span></a></li><li class="nav-item nav-level-2"><a class="nav-link" href="#OopMap数据结构"><span class="nav-number">6.2.</span> <span class="nav-text">OopMap数据结构</span></a><ol class="nav-child"><li class="nav-item nav-level-3"><a class="nav-link" href="#这种结构会存在哪些问题？"><span class="nav-number">6.2.1.</span> <span class="nav-text">这种结构会存在哪些问题？</span></a></li></ol></li><li class="nav-item nav-level-2"><a class="nav-link" href="#安全点"><span class="nav-number">6.3.</span> <span class="nav-text">安全点</span></a><ol class="nav-child"><li class="nav-item nav-level-3"><a class="nav-link" href="#安全点有什么用？"><span class="nav-number">6.3.1.</span> <span class="nav-text">安全点有什么用？</span></a></li><li class="nav-item nav-level-3"><a class="nav-link" href="#如何触发安全点"><span class="nav-number">6.3.2.</span> <span class="nav-text">如何触发安全点?</span></a></li></ol></li><li class="nav-item nav-level-2"><a class="nav-link" href="#安全区域"><span class="nav-number">6.4.</span> <span class="nav-text">安全区域</span></a></li></ol></li><li class="nav-item nav-level-1"><a class="nav-link" href="#记忆集与卡表"><span class="nav-number">7.</span> <span class="nav-text">记忆集与卡表</span></a><ol class="nav-child"><li class="nav-item nav-level-2"><a class="nav-link" href="#记忆集-RememberedSet"><span class="nav-number">7.1.</span> <span class="nav-text">记忆集(RememberedSet)</span></a><ol class="nav-child"><li class="nav-item nav-level-3"><a class="nav-link" href="#卡表"><span class="nav-number">7.1.1.</span> <span class="nav-text">卡表</span></a></li></ol></li><li class="nav-item nav-level-2"><a class="nav-link" href="#写屏障"><span class="nav-number">7.2.</span> <span class="nav-text">写屏障</span></a><ol class="nav-child"><li class="nav-item nav-level-3"><a class="nav-link" href="#写前和写后屏障是什么？"><span class="nav-number">7.2.1.</span> <span class="nav-text">写前和写后屏障是什么？</span></a></li><li class="nav-item nav-level-3"><a class="nav-link" href="#伪共享问题"><span class="nav-number">7.2.2.</span> <span class="nav-text">伪共享问题</span></a></li></ol></li></ol></li><li class="nav-item nav-level-1"><a class="nav-link" href="#并发可达性分析："><span class="nav-number">8.</span> <span class="nav-text">并发可达性分析：</span></a><ol class="nav-child"><li class="nav-item nav-level-2"><a class="nav-link" href="#三色标记"><span class="nav-number">8.1.</span> <span class="nav-text">三色标记</span></a></li><li class="nav-item nav-level-2"><a class="nav-link" href="#“对象消失”的成立条件"><span class="nav-number">8.2.</span> <span class="nav-text">“对象消失”的成立条件</span></a></li><li class="nav-item nav-level-2"><a class="nav-link" href="#增量更新和原始快照"><span class="nav-number">8.3.</span> <span class="nav-text">增量更新和原始快照</span></a></li></ol></li><li class="nav-item nav-level-1"><a class="nav-link" href="#总结："><span class="nav-number">9.</span> <span class="nav-text">总结：</span></a></li><li class="nav-item nav-level-1"><a class="nav-link" href="#写在最后"><span class="nav-number">10.</span> <span class="nav-text">写在最后</span></a></li></ol></div>
      </div>
      <!--/noindex-->

      <div class="site-overview-wrap sidebar-panel">
        <div class="site-author motion-element" itemprop="author" itemscope itemtype="http://schema.org/Person">
  <p class="site-author-name" itemprop="name">阿东</p>
  <div class="site-description" itemprop="description">随遇而安</div>
</div>
<div class="site-state-wrap motion-element">
  <nav class="site-state">
      <div class="site-state-item site-state-posts">
          <a href="/archives/">
        
          <span class="site-state-item-count">239</span>
          <span class="site-state-item-name">日志</span>
        </a>
      </div>
      <div class="site-state-item site-state-categories">
            <a href="/categories/">
          
        <span class="site-state-item-count">36</span>
        <span class="site-state-item-name">分类</span></a>
      </div>
      <div class="site-state-item site-state-tags">
            <a href="/tags/">
          
        <span class="site-state-item-count">37</span>
        <span class="site-state-item-name">标签</span></a>
      </div>
  </nav>
</div>
  <div class="links-of-author motion-element">
      <span class="links-of-author-item">
        <span class="exturl" data-url="aHR0cHM6Ly9naXRodWIuY29tL2xhenlUaW1lcw==" title="GitHub → https:&#x2F;&#x2F;github.com&#x2F;lazyTimes"><i class="fa fa-fw fa-github"></i>GitHub</span>
      </span>
      <span class="links-of-author-item">
        <span class="exturl" data-url="bWFpbHRvOjEwOTc0ODM1MDhAcXEuY29t" title="E-Mail → mailto:1097483508@qq.com"><i class="fa fa-fw fa-envelope"></i>E-Mail</span>
      </span>
  </div>


  <div class="links-of-blogroll motion-element">
    <div class="links-of-blogroll-title">
      <i class="fa fa-fw fa-link"></i>
      友情链接
    </div>
    <ul class="links-of-blogroll-list">
        <li class="links-of-blogroll-item">
          <span class="exturl" data-url="aHR0cHM6Ly93d3cuNTJwb2ppZS5jbi9ob21lLnBocD9tb2Q9c3BhY2UmdWlkPTE0OTc3MTgmZG89dGhyZWFkJnZpZXc9bWUmZnJvbT1zcGFjZQ==" title="https:&#x2F;&#x2F;www.52pojie.cn&#x2F;home.php?mod&#x3D;space&amp;uid&#x3D;1497718&amp;do&#x3D;thread&amp;view&#x3D;me&amp;from&#x3D;space">吾爱破解</span>
        </li>
        <li class="links-of-blogroll-item">
          <span class="exturl" data-url="aHR0cHM6Ly9qdWVqaW4uaW0vdXNlci8yOTk5MTIzNDUyNjI2MzY2" title="https:&#x2F;&#x2F;juejin.im&#x2F;user&#x2F;2999123452626366">掘金</span>
        </li>
        <li class="links-of-blogroll-item">
          <span class="exturl" data-url="aHR0cHM6Ly9zZWdtZW50ZmF1bHQuY29tL3UvbGF6eXRpbWVz" title="https:&#x2F;&#x2F;segmentfault.com&#x2F;u&#x2F;lazytimes">思否</span>
        </li>
    </ul>
  </div>

      </div>

      <div class="wechat_OA">
        <span>欢迎关注我的公众号</span>
        <br>
          <!-- 这里添加你的二维码图片 -->
        <img src ="https://adong-picture.oss-cn-shenzhen.aliyuncs.com/adong/wechat_channel.jpg">
      </div>
        <div class="back-to-top motion-element">
          <i class="fa fa-arrow-up"></i>
          <span>0%</span>
        </div>

    </div>
  </aside>
  <div id="sidebar-dimmer"></div>


      </div>
    </main>

    <footer class="footer">
      <div class="footer-inner">
        

        

<div class="copyright">
  
  &copy; 
  <span itemprop="copyrightYear">2023</span>
  <span class="with-love">
    <i class="fa fa-user"></i>
  </span>
  <span class="author" itemprop="copyrightHolder">阿东</span>
    <span class="post-meta-divider">|</span>
    <span class="post-meta-item-icon">
      <i class="fa fa-area-chart"></i>
    </span>
      <span class="post-meta-item-text">站点总字数：</span>
    <span title="站点总字数">2m</span>
    <span class="post-meta-divider">|</span>
    <span class="post-meta-item-icon">
      <i class="fa fa-coffee"></i>
    </span>
      <span class="post-meta-item-text">站点阅读时长 &asymp;</span>
    <span title="站点阅读时长">29:50</span>
</div>
  <div class="powered-by">由 <span class="exturl theme-link" data-url="aHR0cHM6Ly9oZXhvLmlv">Hexo</span> & <span class="exturl theme-link" data-url="aHR0cHM6Ly90aGVtZS1uZXh0Lm9yZw==">NexT.Gemini</span> 强力驱动
  </div>

        
<div class="busuanzi-count">
  <script async src="https://busuanzi.ibruce.info/busuanzi/2.3/busuanzi.pure.mini.js"></script>
    <span class="post-meta-item" id="busuanzi_container_site_uv" style="display: none;">
      <span class="post-meta-item-icon">
        <i class="fa fa-user"></i>
      </span>
      <span class="site-uv" title="总访客量">
        <span id="busuanzi_value_site_uv"></span>
      </span>
    </span>
    <span class="post-meta-divider">|</span>
    <span class="post-meta-item" id="busuanzi_container_site_pv" style="display: none;">
      <span class="post-meta-item-icon">
        <i class="fa fa-eye"></i>
      </span>
      <span class="site-pv" title="总访问量">
        <span id="busuanzi_value_site_pv"></span>
      </span>
    </span>
</div>








      </div>
    </footer>
  </div>

  
  <script src="/lib/anime.min.js"></script>
  <script src="//cdn.jsdelivr.net/npm/jquery@3/dist/jquery.min.js"></script>
  <script src="//cdn.jsdelivr.net/gh/fancyapps/fancybox@3/dist/jquery.fancybox.min.js"></script>
  <script src="/lib/velocity/velocity.min.js"></script>
  <script src="/lib/velocity/velocity.ui.min.js"></script>

<script src="/js/utils.js"></script>

<script src="/js/motion.js"></script>


<script src="/js/schemes/pisces.js"></script>


<script src="/js/next-boot.js"></script>




  




  
<script src="/js/local-search.js"></script>













  

  


<script>
NexT.utils.loadComments(document.querySelector('#valine-comments'), () => {
  NexT.utils.getScript('//unpkg.com/valine/dist/Valine.min.js', () => {
    var GUEST = ['nick', 'mail', 'link'];
    var guest = 'nick,mail,link';
    guest = guest.split(',').filter(item => {
      return GUEST.includes(item);
    });
    new Valine({
      el         : '#valine-comments',
      verify     : false,
      notify     : true,
      appId      : 'qMUpEEvBgXaMDD1b0ftgi9xr-gzGzoHsz',
      appKey     : 'UCdfT4Rfih6MO6y8DI4fstf6',
      placeholder: "Just go go",
      avatar     : 'mm',
      meta       : guest,
      pageSize   : '10' || 10,
      visitor    : false,
      lang       : 'zh-CN' || 'zh-cn',
      path       : location.pathname,
      recordIP   : false,
      serverURLs : ''
    });
  }, window.Valine);
});
</script>

</body>
</html>
